symbolic logician

Định nghĩa

Danh từ: Một người kỹ năng hoặc chuyên gia trong lĩnh vực logic ký hiệu.

dụ sử dụng
  • (Nhà logic ký hiệu đã sử dụng các ký hiệu phức tạp để giải quyết nghịch lý.)
  • ( ấy một nhà logic ký hiệu nổi tiếng đã giảng dạy tại trường đại học.)
Các cách sử dụng nâng cao
  • "symbolic logician" thường được dùng trong ngữ cảnh học thuật, triết học hoặc toán học, để chỉ những người nghiên cứu áp dụng các hệ thống ký hiệu (như ký hiệu toán học, logic hình thức) để phân tích lập luận.
Biến thể từ gần giống
  • Logic ký hiệu (n): symbolic logic, một nhánh của logic học sử dụng ký hiệu để biểu diễn các mệnh đề quan hệ logic.
  • Nhà logic học (n): logician, một người nghiên cứu logic nói chung.
Từ đồng nghĩa
  • Nhà logic hình thức: formal logician (chỉ người chuyên về logic hình thức, tương tự nhưng nhấn mạnh vào cấu trúc hình thức hơn ký hiệu).
  • Chuyên gia logic ký hiệu: expert in symbolic logic.
Các cụm từ liên quan
  • Áp dụng logic ký hiệu: to apply symbolic logic.
    • The symbolic logician applied her knowledge to computer science. (Nhà logic ký hiệu đã áp dụng kiến thức của mình vào khoa học máy tính.)
Thành ngữ liên quan
  • Không thành ngữ phổ biến trực tiếp liên quan đến "symbolic logician". Tuy nhiên, có thể dùng cụm từ "một bộ óc logic" (a logical mind) để chỉ người tư duy logic mạnh mẽ, không chuyên về logic ký hiệu.
symbolic logician
A symbolic logician writes a complex proof on a whiteboard.